1. Verification techniques for system-level design
پدیدآورنده : Fujita, Masahiro
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42
.
F95
2008
2. Verification techniques for system-level design /
پدیدآورنده : Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
3. Verification techniques for system-level design
پدیدآورنده : Fujita, Masahiro, 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
